$\forall$${\it es}$:ES, $i$:Id, $P$:(discrete state@$i$$\rightarrow\mathbb{P}$).
\\[0ex]@$i$ stable ${\it state}$.$P$(${\it state}$)  
\\[0ex]$\Rightarrow$ $\forall$$e$@$i$. $P$((discrete state when $e$)) $\Rightarrow$ $\forall$${\it e'}$$\geq$$e$.$P$((discrete state when ${\it e'}$))